package ch.epfl.lara.patterns.formdeciderwrapper

object Test extends Application {
	val commands: List[String] = List("ls -l", "ls --flabala", "decide")


	val formulas: List[String] = List(
		"ALL x. x = x",
		"x ~= x",
		"ALL (x :: int). (x > 3 --> x + 1 > 4)")


	if(FormDeciderWrapper.init) {
		formulas.foreach(f => {
			Console.print(f + " ...is ")
			Console.println(if(FormDeciderWrapper.decide(f)) { "valid" } else { "not valid" }) 
		})
	} else {
		Console.println("Form decider wrapper could not be initialized.")
	}

/*	commands.foreach(c => {
		Console.println("Now running command " + c)

		val (outval, output, errs) = FormDeciderWrapper.executeCommand(c)

		Console.println(" ** ouput value : \n" + outval)
		Console.println(" ** ouput stream: \n" + output)
		Console.println(" ** error stream: \n" + errs)
		Console.println

	})
*/
}
